1. <A> New Approach to Scientific Computation
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Numerical analysis -- Data processing,Algebra -- Data processing,Computer arithmetic,آنالیز عددی -- داده پردازی,جبر -- داده‌پردازی,محاسبات رایانه
رده :
E-Book
,
2. Advanced Arithmetic for the Digital Computer :
المؤلف: by Ulrich W. Kulisch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Computer network architectures.,Computer science.
رده :
QA76
.
9
.
C62
B985
2002
3. C++ Toolbox for Verified Computing I :
المؤلف: by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
4. Computational and applied mathematics, I
المؤلف: / edited by C. Brezinski, U. Kulisch
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
رده :
QA
76
.
95
.
C62
1992
5. Computer Arithmetic and Validity : Theory, Implementation, and Applications
المؤلف: / Kulisch, Ulrich
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
6. Computer arithmetic in theory and practice
المؤلف: Ulrich W. Kulisch, Willard L. Miranker
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Algebra, Abstract,Interval analysis (mathematical),Floating - Point arithmetic
رده :
QA
,
162
,.
K84
,
1981
7. Numerical Toolbox for Verified Computing I :
المؤلف: by Ulrich Kulisch, Rolf Hammer, Dietmar Ratz, Matthias Hocks.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Numerical analysis.
رده :
QA300
.
B985
1993
8. Perspectives on enclosure methods
المؤلف: Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer arithmetic.,Interval analysis (Mathematics)
رده :
QA76
.
9
.
C62
U475
9999
9. Scientific Computation with Automatic Result Verification
المؤلف: edited by Ulrich Kulisch, Hans J. Stetter.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Microprogramming.
10. Scientific computation with automatic result verification
المؤلف: U. Kulisch and H.J. Stetter (eds.)
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع: Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA
,
297
,.
S392
,
1988
11. Scientific computing with automatic result verification
المؤلف: / edited by E. Adams, U. Kulisch
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Electronic data processing,Computer science - Mathematics
رده :
QA
76
.
S368
1993
